switch: Don't include margins in input window size
authorTimm Bäder <mail@baedert.org>
Tue, 12 Jan 2016 20:36:37 +0000 (21:36 +0100)
committerTimm Bäder <mail@baedert.org>
Tue, 12 Jan 2016 20:56:53 +0000 (21:56 +0100)
commita8ceeb17667e40b61806e3e9a8e631c304e30b17
treeec21e10fa7ef7ca0bfb6e05c250819f8448b2505
parentff7e2797f6ffb61eb5dcb7865a85322c8ef22238
switch: Don't include margins in input window size

https://bugzilla.gnome.org/show_bug.cgi?id=760509
gtk/gtkswitch.c